#include <stdint.h>
#include "include/core.h"
#ifndef PRIORITY_H
#define PRIORITY_H


extern uint32_t resource_boost_priority[10];
extern uint32_t core_boost_priority[20];
int get_highest_priority();
int  get_global_resource_ceiling_priority(uint32_t resource_type);
int  get_local_resource_ceiling_priority(uint32_t resource_type);
#endif // PRIORITY_H
